Historique
Les
nombres hyperréels furent introduits par
Abraham Robinson dans les années 1960 dans le cadre de l'
Analyse non-standard. Il se base sur l'axiomatique Zermelo-Fraenkel. Il ajoute 3 axiomes nouveaux :
- l'Idéalité
- le Standard
- le Transfert
Ces 3
axiomes sont plus connus sous le nom IST. Robinson rejoint les préoccupations d'
Euler pour les nombres infinis.
Représentation d'un hyperréel
Un nombre hyperréel est une quantité "plus petite qu'un infinitésimal" ou "inverse d'une quantité plus grande que l'infini". Si nous divisons à l'infini un segment de droite, nous obtenons un infinitésimal. Selon que l'on utilise ou non l'axiome de choix, la nature de celui-ci sera soit discrète, soit définira un nouvel intervalle à nouveau divisible. Ces nombres ont donc une nature potentielle et ne peuvent être représentés sur la droite réelle. On les représente souvent par un halo, sorte de phylactère entourant un nombre réel.
Construction
La construction des hyperréels se fait à partir d'un
Ultrafiltre (ensemble de sous-ensembles appelé aussi ensemble large et possédant certaines propriétés). On définit une mesure
μ sur l'ensemble
N comme une fonction de l'ensemble
P(N) des parties de
N dans l'ensemble formé des deux éléments zéro et un
μ : P(N) {0,1} possédant les propriétés suivantes :
- μ(N) = 1
- μ(X) = 0 pour X partie finie de N
- μ(Y ∪ Z) = μ(Y)+ μ(Z) avec Y ∩ Z = ∅ où Y et Z sont des parties quelconques de N.
On parle alors de l'"ensemble externe" *R des hyperréels dont l'existence est démontrée par l'utilisation de l'Axiome du choix, et défini comme une ultra-puissance de R.
Définition
Un nombre x est dit hyperréel si et seulement si :
- x est infinitésimal, si |x| est strictement inférieur à tout cardinal positif d'un ensemble d'éléments standard ou plus simplement à tout « standard positif ».
- x est infiniment grand, autrement dit si 1/x est infinitésimal .
Bibliographie
-
Balade en analyse non-standard sur les traces de Robinson Voir aussi